W. Ruitenburg; Constructive logic and paradoxes